Formalising Behavioural Compatibility for Reactive Object-oriented Systems
نویسندگان
چکیده
In order to develop formal methods for the design, analysis and implementation of object-oriented systems it is essential to formalise the underlying object-oriented concepts. At present, most object-oriented concepts are treated informally, or are deened with reference to a particular language. The aim of this paper is to present a formal view of behavioural compatibility for classes which is independent of any language or methodology. Starting with an external view of classes, we deene behavioural class compatibility from two points of view. The relationship between these deenitions for compatibility and inheritance is then discussed.
منابع مشابه
Formal definitions of behavioural compatibility for active and passive objects
The modular reenement of object-oriented specii-cations requires a sound theory of behavioural compatibility of classes. Such a theory will depend on the way in which objects of a class interact with their environment. This paper deenes two notions of behavioural compatibility. Observational compatibility is relevant when an active object is placed within a passive environment and operational c...
متن کاملBehaviour Compatibility and Specification for Active Objects
Specification of behaviour A test in a suitable language could be used as a way to abstractly specify the behaviour of an object. Although most experiments could eventually be expressed as a CCS experimenter interacting with the agent representing the behaviour of a class, a higher level language would be desirable. In order to be useful a test language should subsume high level features such a...
متن کاملTowards Components that Plug AND Play
Component-based programming promotes a software development process where applications are built by composing reusable pieces of software, called components. This process requires a demanding form of compatibility between components, often dubbed as “Plug and Play”: Plugability refers to the syntactic compatibility between components while “playability” refers to their behavioural compatibility...
متن کاملA Software Architecture-Based Approach for Formalising Middleware Behaviour
The number of open specifications of middleware systems and middleware services is increasing. Despite their complexity, they are traditionally described through APIs (the operation signatures) and informal prose (the behaviour). This fact often leads to ambiguities and makes difficult a better understanding of what is really described. In this paper, we adopt software architecture principles f...
متن کاملObjects Identification in Object-Oriented Software Development - A Taxonomy and Survey on Techniques
Analysis and design of object oriented is onemodern paradigms for developing a system. In this paradigm, there are several objects and each object plays some specific roles. Identifying objects (and classes) is one of the most important steps in the object-oriented paradigm. This paper makes a literature review over techniques to identify objects and then presents six taxonomies for them. The f...
متن کامل